مكتبة

Item request has been placed!

Item request cannot be made.

Processing Request

Conference

Exploring responsible AI practices in Dutch media organizations

Authors : Mioch, T.; Stembert, N.; Timmers, C. ...

Subjects: responsible AI; AI ethics in practice; empirical studies on ethics

Source: Abdelnour Nocera, J., Kristín Lárusdóttir, M., Petrie, H., Piccinno, A., Winckler, M. (eds) Human-Computer Interaction – INTERACT 2023. INTERACT 2023. Lecture

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Conference

AI in the human loop: the impact of differences in digital assistant roles on the personal values of users

Authors : Shayan, S.; Steenbergen,van, M.; Turnhout,van, K. ...

Subjects: human-AI collaboration; human-AI relationship; social AI

Source: Abdelnour Nocera, J., Kristín Lárusdóttir, M., Petrie, H., Piccinno, A., Winckler, M. (eds) Human-Computer Interaction – INTERACT 2023. INTERACT 2023. Lecture

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي

Conference

Automatic Complexity Analysis of Integer Programs via Triangular Weakly Non-Linear Loops

Authors : Lommen, Nils; Meyer, Fabian Niklas; Giesl, Jürgen

Subjects: DE

Source: Cham : Springer, Lecture notes in computer science 13385, 734-754 (2022). doi:10.1007/978-3-031-10769-6_43 ; Automated reasoning : 11th International Joint Conference,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description)

Authors : Frohn, Florian; Giesl, Jürgen

Subjects: DE

Source: Cham : Springer, Lecture notes in computer science 13385, 712-722 (2022). doi:10.1007/978-3-031-10769-6_41 ; Automated reasoning : 11th International Joint Conference,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

PAYNT : A Tool for Inductive Synthesis of Probabilistic Programs

Authors : Andriushchenko, Roman; Češka, Milan; Junges, Sebastian

Subjects: DE

Source: Cham, Switzerland : Springer, Lecture notes in computer science 12759, Theoretical Computer Science and General Issues 856-869 (2021). doi:10.1007/978-3-030-81685-8_40 ;

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming

Authors : Wang, Qiuye; Chen, Mingshuai; Xue, Bai

Subjects: barrier certificates; bilinear matrix inequalities; difference-of-convex programmingDE

Source: Cham, Switzerland : Springer, Lecture notes in computer science 12759, Theoretical Computer Science and General Issues 443-466 (2021). doi:10.1007/978-3-030-81685-8_21 ;

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Latticed $k$-Induction with an Application to Probabilistic Programs

Authors : Batz, Kevin; Chen, Mingshuai; Kaminski, Benjamin Lucien

Subjects: bounded model checking; fixed point theory; k-inductionDE

Source: Cham, Switzerland : Springer, Lecture notes in computer science 12760, 524-549 (2021). doi:10.1007/978-3-030-81688-9_25 ; Computer-Aided Verification : 33rd

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Conference

Facilitating change towards predictive maintenance

Authors : Boomen,van den, M.; Botermans, M.; Weerd,de, T. ...

Subjects: infrastructure asset management; sensor data

Source: Pinto, J.O.P., Kimpara, M.L.M., Reis, R.R., Seecharan, T., Upadhyaya, B.R., Amadi-Echendu, J. (eds) 15th WCEAM Proceedings. WCEAM 2021. Lecture Notes in Mechanical

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي